141. Alfred Tarski
المؤلف: Anita Burdman Feferman, Solomon Feferman,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
رده :
QA
.
T32
,
F44
29
2004
142. Alfred Tarski: life and logic
المؤلف: Feferman, Anita Burdman.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
رده :
QA
29
.
T32
F44
2008
143. Alfred Tarski: life and logic
المؤلف: Feferman, Anita Burdman
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
رده :
QA
29
.
T32
.
F44
2004
144. Alfred Tarski : life and logic
المؤلف: Feferman, Anita Burdman, 7291-
المکتبة: (طهران)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
رده :
QA
29
.
T32F43
145. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
المؤلف: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
146. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
المؤلف: edited by J. N. Crossley
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
Vol
.
450
147. Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
148. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
المؤلف: edited by J. N. Crossley
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
1
.
L4
v
.
450
149. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
المؤلف: edited by J. N. Crossley
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
9
.
A4
1975
150. Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
المؤلف: edited by J.N.Crossley
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
151. Algebra, logic, and combinatorics
المؤلف: \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
152. Algebra, mathematical logic, number theory, topology
المؤلف: editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
v
.
168
153. Algebra, mathematical logic, number theory, topology
المؤلف: editorial board of the anniversary collection, I. M. Vinogradov, editor in chief ... ]et al.[
المکتبة: (طهران)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
P736
Vol
.
168
154. Algebra, mathematical logic, number theory, topology, Algebra, matematicheskaia logika, teoriia chisel, topologiia
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
1986
issue
3
,
etc
155. Algebraic Foundations of Many-Valued Reasoning
المؤلف: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
156. Algebraic analysis of basic propositional logic
المؤلف: by: Majid Alizadeh,^AAlizadeh, Majid
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
157. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
158. Algebraic logic
المؤلف: Halmos, Paul R.)Paul Richard(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
159. Algebraic methods of mathematical logic
المؤلف: Rieger, Ladislav
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
160. Algebraic perspectives on substructural logics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
